
#include "defns.h"
#include "types.h"
#include "externs.h"

int Which(String Val,String List[],short First,short Last);
String CopyString(String x);
void Error(short n,String s1,String s2);
Boolean ReadName(FILE *f, String s);
void GetNames();
